Semicomputable predicate
[计] 半可计算谓词
🧩 词语组成解析
[计] 半可计算的
predicate
['predikit]
vt. 断言，断定;宣布，宣讲;使基于;
vi. 断言，断定;
n. 谓语;述语;
adj. 谓语的;述语的;
🗣️ 情景例句
When is that?
那是几点？
He that would the daughter win,must with the mother first begin.
要想赢得女儿的欢心，必须先从她母亲着手。
But here we come up against the most difficult of all obstacles to contact with people on other planets ----the astronomical distances which separate us.
然而，在和外星人联系中我们遇到的最大困难是分隔我们的天文距离。